String.split_after

(

)

split string after s, that is do the same thing as split but
include the separator s in the resulting strings

Precondition

pre
  !s.is_empty

Arguments

0.099dev (GIT hash bf4ead724d7f3fdab43a87b63c17477c916c8995)

last changed: 2026-11-04